bound variables